A logical framework to model software development by multiple agents following a common specification

A Logical Framework for XML Reference Specification

In this paper we focus on a (as much as possible) simple logic, called XHyb, expressive enough to allow the specification of the most common integrity constraints in XML documents. In particular we will deal with constraints on ID and IDREF(S) attributes, which are the common way of logically connecting parts of XML documents, besides the usual containment relation of XML elements.

I2MANET Security Logical Specification Framework

A Framework for Software Maintenance Model Development

The software maintenance process is one of the most costly activities within information system practice. The purpose of this paper is to address some of the difficulties in this process, by proposing a framework for the development of maintenance model. Essential to the software maintenance process is an ability to understand not only the software but the required changes as well. This can onl...

A common logical framework to retrieve information and meta information

Introduction The development of networks connecting a large number of distributed databases will shortly make available extremely large amounts of data. For instance there is currently a project whose objective is the interconnection of one hundred existing molecular-biology databases. This kind of interconnection raises two issues: How is relevant information to be retrieved ? And what is the ...

The Common Framework Initiative for Algebraic Specification and Development of Software

The Common Framework Initiative (CoFI) is an open international collaboration which aims to provide a common framework for algebraic specification and development of software. The central element of the Common Framework is a specification language called Casl for formal specification of functional requirements and modular software design which subsumes many previous algebraic specification lang...